ampl: include Ejecutar41.run

Presolve eliminates 2552 constraints and 669634 variables.
Adjusted problem:
73937 variables:
	1456 binary variables
	72472 integer variables
	9 linear variables
10797 constraints, all linear; 667601 nonzeros
	2425 equality constraints
	8372 inequality constraints
1 linear objective; 5 nonzeros.

CPLEX 20.1.0.0: timelimit=7200
outlev=1
mipdisplay=2
MIP Presolve eliminated 6 rows and 5 columns.
MIP Presolve modified 104 coefficients.
Reduced MIP has 9949 rows, 73090 columns, and 664716 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
Reduced MIP has 9949 rows, 73090 columns, and 664716 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Probing fixed 0 vars, tightened 308 bounds.
Probing time = 0.17 sec. (61.82 ticks)
Cover probing fixed 0 vars, tightened 602 bounds.
Clique table members: 104.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 8 threads.
Root relaxation solution time = 3.59 sec. (1662.11 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap

      0     0     3041.7113   570                   3041.7113       32         
*     0+    0                      7114328.8947     3041.7113            99.96%
*     0+    0                      7114264.7513     3041.7113            99.96%
      0     0     3041.7127   721  7114264.7513      Cuts: 76     2023   99.96%
      0     0     3041.7127   522  7114264.7513     Cuts: 135     2176   99.96%
      0     0     3041.7127   682  7114264.7513     Cuts: 537     2879   99.96%
*     0+    0                         7399.1367     3041.7127            58.89%
*     0+    0                         7392.3841     3041.7127            58.85%
*     0+    0                         5350.5306     3041.7127            43.15%
*     0+    0                         4740.8670     3041.7127            35.84%
*     0+    0                         4689.6333     3041.7127            35.14%
*     0+    0                         4676.0870     3041.7127            34.95%
*     0+    0                         4492.3699     3041.7127            32.29%
      0     0  -1.00000e+75     0     4492.3699     3041.7127     2879   32.29%
      0     2     3041.7127   483     4492.3699     3041.7127     2879   32.29%
Elapsed time = 37.20 sec. (37726.19 ticks, tree = 0.02 MB)
      2     4     3041.7127   725     4492.3699     3041.7127     4372   32.29%
      6     8     3041.7127   679     4492.3699     3041.7127     4542   32.29%
      9     4     3041.7127   472     4492.3699     3041.7127     2958   32.29%
     12     5     3041.7127   704     4492.3699     3041.7127     5605   32.29%
     17    17     3041.7127   681     4492.3699     3041.7127     8499   32.29%
     19     7     3041.7166   656     4492.3699     3041.7127     6178   32.29%
     20    12     3041.7127   704     4492.3699     3041.7127     6492   32.29%
     22    20     3041.7166   668     4492.3699     3041.7127    10936   32.29%
     24    16     3041.7127   707     4492.3699     3041.7127     8209   32.29%
     35    25     3041.7127   619     4492.3699     3041.7127    17658   32.29%
Elapsed time = 60.64 sec. (45685.32 ticks, tree = 0.63 MB)
     51    37     3041.7127   621     4492.3699     3041.7127    32496   32.29%
     59    39     3041.7244   373     4492.3699     3041.7127    35013   32.29%
     64    40     3041.7177   699     4492.3699     3041.7127    36711   32.29%
     67    49     3041.7177   728     4492.3699     3041.7127    38547   32.29%
     74    66     3041.7290   559     4492.3699     3041.7127    47348   32.29%
     76    72     3041.7307   770     4492.3699     3041.7127    64340   32.29%
     89    73     3041.7290   536     4492.3699     3041.7127    65178   32.29%
     97    80     3041.7166   656     4492.3699     3041.7127    68194   32.29%
    102    89     3041.7244   416     4492.3699     3041.7127    69545   32.29%
    111    86     3041.7350   452     4492.3699     3041.7127    71207   32.29%
Elapsed time = 105.09 sec. (57537.26 ticks, tree = 3.69 MB)
    126   109     3041.7366   268     4492.3699     3041.7127    83500   32.29%
    138   109     3041.7244   333     4492.3699     3041.7127    80684   32.29%
    142   119     3041.7127   685     4492.3699     3041.7127    95049   32.29%
    146   125     3041.7483   239     4492.3699     3041.7127    97480   32.29%
    154   147     3041.7374   754     4492.3699     3041.7127   111039   32.29%
    167   157     3041.7483   252     4492.3699     3041.7127   137553   32.29%
    172   158     3041.7483   291     4492.3699     3041.7127   138285   32.29%
    184   169     3041.7366   264     4492.3699     3041.7127   147734   32.29%
    188   145     3041.7328   785     4492.3699     3041.7127   119237   32.29%
    192    70     3041.7252   724     4492.3699     3041.7127    62746   32.29%
Elapsed time = 154.64 sec. (69812.97 ticks, tree = 2.79 MB)
    208   148     3041.7478   689     4492.3699     3041.7127   123000   32.29%
    216   193     3041.7127   612     4492.3699     3041.7127   203552   32.29%
    224   201     3041.7273   401     4492.3699     3041.7127   228349   32.29%
    230   194     3041.7177   679     4492.3699     3041.7127   204925   32.29%
    242   207     3041.7316   359     4492.3699     3041.7127   230278   32.29%
    245   202     3041.7481   435     4492.3699     3041.7127   228269   32.29%
    255   227     3041.7381   306     4492.3699     3041.7127   237614   32.29%
    262   232     3041.7380   429     4492.3699     3041.7127   238580   32.29%
    263   233     3041.7380   339     4492.3699     3041.7127   239559   32.29%
    265   235     3041.7381   320     4492.3699     3041.7127   240435   32.29%
Elapsed time = 203.81 sec. (82527.20 ticks, tree = 14.88 MB)
    282   243     3041.7366   180     4492.3699     3041.7127   241250   32.29%
    284   244     3041.7380   355     4492.3699     3041.7127   242132   32.29%
    287   260     3041.7380   383     4492.3699     3041.7127   245235   32.29%
    290   211     3041.7127   612     4492.3699     3041.7127   230329   32.29%
    291   214     3041.7316   341     4492.3699     3041.7127   233209   32.29%
    296   164     3041.7244   382     4492.3699     3041.7127   164403   32.29%
    306   268     3041.7508   303     4492.3699     3041.7127   248364   32.29%
    313   276     3041.7316   300     4492.3699     3041.7127   247482   32.29%
    319   280     3041.7250   340     4492.3699     3041.7127   248874   32.29%
    325   268     3041.7252   733     4492.3699     3041.7127   249437   32.29%
Elapsed time = 249.56 sec. (94095.40 ticks, tree = 18.89 MB)
    336   306     3041.7250   368     4492.3699     3041.7127   258892   32.29%
    351   309     3041.7508   198     4492.3699     3041.7127   262171   32.29%
    361   310     3041.7418   618     4492.3699     3041.7127   261102   32.29%
    380   320     3041.7250   365     4492.3699     3041.7127   262106   32.29%
    395   315     3041.7508   218     4492.3699     3041.7127   264013   32.29%
    404   351     3041.7289   205     4492.3699     3041.7127   273105   32.29%
    405   311     3041.7950   387     4492.3699     3041.7127   264353   32.29%
    409   327     3041.7316   192     4492.3699     3041.7127   268652   32.29%
    417   381     3041.7508   241     4492.3699     3041.7127   288156   32.29%
    423   374     3041.7316   254     4492.3699     3041.7127   284684   32.29%
Elapsed time = 301.75 sec. (105891.81 ticks, tree = 32.75 MB)
    451   351     3041.7252   815     4492.3699     3041.7127   279771   32.29%
    454   398     3041.7340   441     4492.3699     3041.7127   286422   32.29%
    470   382     3041.7511   303     4492.3699     3041.7127   290782   32.29%
    481   432     3041.7316   234     4492.3699     3041.7127   302700   32.29%
    487   411     3041.7180   580     4492.3699     3041.7127   300202   32.29%
    507   451     3041.7483   237     4492.3699     3041.7127   319235   32.29%
    524   462     3041.7483   209     4492.3699     3041.7127   319948   32.29%
    540   463     3041.7483   258     4492.3699     3041.7127   320728   32.29%
    560   470     3041.7483   270     4492.3699     3041.7127   321887   32.29%
    567   201     3041.7492   241     4492.3699     3041.7127   224985   32.29%
Elapsed time = 342.05 sec. (116953.86 ticks, tree = 11.33 MB)
    578   476     3041.7483   205     4492.3699     3041.7127   323420   32.29%
    596   529     3041.7331   159     4492.3699     3041.7127   335223   32.29%
    606   444     3041.7580   493     4492.3699     3041.7127   312500   32.29%
    616   517     3041.7502   486     4492.3699     3041.7127   336685   32.29%
    636   574     3041.7483   180     4492.3699     3041.7127   352496   32.29%
    640   552     3041.7324   591     4492.3699     3041.7127   347896   32.29%
    660   542     3041.7331   166     4492.3699     3041.7127   342151   32.29%
    665   540     3041.7508   244     4492.3699     3041.7127   344167   32.29%
    679   526     3041.7315   438     4492.3699     3041.7127   343171   32.29%
    690   630     3041.7508   183     4492.3699     3041.7127   386128   32.29%
Elapsed time = 386.67 sec. (128781.96 ticks, tree = 68.54 MB)
    699   597     3041.7289   225     4492.3699     3041.7127   371158   32.29%
    717   654     3041.7183   552     4492.3699     3041.7127   394843   32.29%
    723   658     3041.7200   500     4492.3699     3041.7127   395943   32.29%
    738   640     3041.7481   195     4492.3699     3041.7127   389742   32.29%
    754   633     3041.7580   491     4492.3699     3041.7127   389521   32.29%
    768   630     3041.7331   165     4492.3699     3041.7127   385676   32.29%
    773   642     3041.7481   403     4492.3699     3041.7127   391436   32.29%
    785   631     3041.7461   629     4492.3699     3041.7127   388352   32.29%
    791   700     3041.7316   163     4492.3699     3041.7127   420869   32.29%
    802   693     3041.7331   165     4492.3699     3041.7127   413411   32.29%
Elapsed time = 424.41 sec. (138888.12 ticks, tree = 76.20 MB)
    826   728     3041.7459   140     4492.3699     3041.7127   431002   32.29%
    838   705     3041.7316   161     4492.3699     3041.7127   422856   32.29%
    859   762     3041.7508   181     4492.3699     3041.7127   444055   32.29%
    869   799     3041.7492   256     4492.3699     3041.7127   463554   32.29%
    874   737     3041.7459   205     4492.3699     3041.7127   434173   32.29%
    893   760     3041.7656   343     4492.3699     3041.7127   449998   32.29%
    898   748     3041.7481   235     4492.3699     3041.7127   439607   32.29%
    921   805     3041.7492   179     4492.3699     3041.7127   466535   32.29%
    929   806     3041.7590   332     4492.3699     3041.7127   461934   32.29%
    964   857     3041.7481   349     4492.3699     3041.7127   495845   32.29%
Elapsed time = 482.02 sec. (153167.74 ticks, tree = 99.36 MB)
    997   825     3041.7361   473     4492.3699     3041.7127   477141   32.29%
   1033   951     3041.7345   424     4492.3699     3041.7127   536116   32.29%
   1078   939     3041.7714   472     4492.3699     3041.7127   533422   32.29%
   1120   987     3041.7656   504     4492.3699     3041.7127   565501   32.29%
   1150  1047     3041.7556   440     4492.3699     3041.7127   601686   32.29%
   1189  1023     3041.7555   342     4492.3699     3041.7127   585523   32.29%
   1227  1108     3041.7459   215     4492.3699     3041.7127   631128   32.29%
   1280  1089     3041.7510   265     4492.3699     3041.7127   618788   32.29%
   1326  1137     3041.7481   283     4492.3699     3041.7127   647904   32.29%
   1356  1190     3041.7513   427     4492.3699     3041.7127   684102   32.29%
Elapsed time = 632.86 sec. (193088.49 ticks, tree = 152.56 MB)
   1388  1184     3041.7459   175     4492.3699     3041.7127   678664   32.29%
   1419  1328     3041.7459   105     4492.3699     3041.7127   729197   32.29%
   1448  1329     3041.7481   313     4492.3699     3041.7127   735590   32.29%
   1474  1372     3044.1294   489     4492.3699     3041.7127   766628   32.29%
   1512  1405     3041.7481   230     4492.3699     3041.7127   782338   32.29%
   1541  1411     3041.7428   586     4492.3699     3041.7127   789542   32.29%
   1554  1416     3041.7481   350     4492.3699     3041.7127   786475   32.29%
   1567  1511     3041.7481   272     4492.3699     3041.7127   839505   32.29%
   1586  1505     3041.7417   388     4492.3699     3041.7127   841367   32.29%
   1609  1518     3041.7481   261     4492.3699     3041.7127   844542   32.29%
Elapsed time = 785.84 sec. (233648.19 ticks, tree = 204.38 MB)
   1630  1574     3041.7481   210     4492.3699     3041.7127   885292   32.29%
   1647  1581     3041.7481   221     4492.3699     3041.7127   887380   32.29%
*  1660+ 1622                         4381.2575     3041.7127            30.57%
   1669  1604     3041.7417   448     4381.2575     3041.7127   904351   30.57%
*  1676+ 1643                         4316.4223     3041.7127            29.53%
   1709  1653     3041.7142   782     4316.4223     3041.7127   929696   29.53%
   1735  1673     3041.7377   375     4316.4223     3041.7127   947494   29.53%
   1765  1668     3041.7127   618     4316.4223     3041.7127   934755   29.53%
   1804  1758     3041.7133   693     4316.4223     3041.7127   971348   29.53%
   1831  1766     3041.7508   177     4316.4223     3041.7127   980804   29.53%
   1865  1758     3041.7344   497     4316.4223     3041.7127   973078   29.53%
   1899  1839     3041.7374   566     4316.4223     3041.7127   998613   29.53%
Elapsed time = 929.94 sec. (274347.25 ticks, tree = 257.03 MB)
   1952  1864     3041.7342   144     4316.4223     3041.7127  1027649   29.53%
   1981  1851     3041.7599   542     4316.4223     3041.7127  1024978   29.53%
   1998  1959     3041.7468   151     4316.4223     3041.7127  1070460   29.53%
   2022  1837     3041.7752   518     4316.4223     3041.7127  1022791   29.53%
   2025  1962     3041.7554   558     4316.4223     3041.7127  1076627   29.53%
   2048  1956     3041.7462   593     4316.4223     3041.7127  1062179   29.53%
   2049  1971     3041.7554   545     4316.4223     3041.7127  1083478   29.53%
   2050  1881     3041.7541   223     4316.4223     3041.7127  1039170   29.53%
   2051  1870     3041.7342   192     4316.4223     3041.7127  1029087   29.53%

Performing restart 1

Repeating presolve.
MIP Presolve modified 515508 coefficients.
Reduced MIP has 9949 rows, 73090 columns, and 347854 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Reduced MIP has 9949 rows, 73090 columns, and 347854 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Represolve time = 0.78 sec. (645.46 ticks)
   2052     0     3041.7127  1076     4316.4223     Cuts: 746  1168471   29.53%
*  2052+    0                         4313.0460     3041.7127            29.48%
   2052     0     3041.7127  1338     4313.0460    Cuts: 1058  1174573   29.48%
   2052     0     3041.7127  1726     4313.0460    Cuts: 1340  1188395   29.48%
   2052     0     3041.7127  1983     4313.0460    Cuts: 1617  1219315   29.48%
*  2052+    0                         4306.2940     3041.7127            29.37%
*  2052+    0                         4300.6540     3041.7127            29.27%
*  2052+    0                         4300.6340     3041.7127            29.27%
   2052     0  -1.00000e+75     0     4300.6340     3041.7127  1219315   29.27%
   2052     2     3041.7127  1984     4300.6340     3041.7127  1219315   29.27%
Elapsed time = 1481.63 sec. (667604.68 ticks, tree = 0.02 MB)
   2053     3     3041.7127  1618     4300.6340     3041.7127  1239904   29.27%
   2054     4     3041.7136  1412     4300.6340     3041.7127  1253125   29.27%
   2055     5     3041.7136  1446     4300.6340     3041.7127  1262127   29.27%
   2056     6     3041.7136  1461     4300.6340     3041.7127  1264667   29.27%
*  2057+    3                         4284.8461     3041.7127            29.01%
   2057     7     3041.7137  1433     4284.8461     3041.7127  1275452   29.01%
   2059     8     3041.7137  1385     4284.8461     3041.7127  1294497   29.01%
   2062    12     3041.7136  1427     4284.8461     3041.7127  1320010   29.01%
   2065    11     3041.7139  1444     4284.8461     3041.7127  1323610   29.01%
   2067    15     3041.7137  1478     4284.8461     3041.7127  1359510   29.01%
   2068    13     3041.7137  1425     4284.8461     3041.7127  1325464   29.01%
Elapsed time = 1982.64 sec. (833582.34 ticks, tree = 0.23 MB)
   2070    16     3041.7137  1482     4284.8461     3041.7127  1360447   29.01%
   2073    14     3041.7137  1389     4284.8461     3041.7127  1325836   29.01%
   2075    17     3041.7137  1469     4284.8461     3041.7127  1364009   29.01%
   2078    17     3041.7129  1445     4284.8461     3041.7127  1393121   29.01%
   2081    27     3041.7139  1445     4284.8461     3041.7127  1415015   29.01%
   2085    28     3041.7139  1447     4284.8461     3041.7127  1416523   29.01%
   2087    19     3041.7134  1417     4284.8461     3041.7127  1398427   29.01%
   2090    33     3041.7139  1387     4284.8461     3041.7127  1440906   29.01%
   2092    34     3041.7139  1328     4284.8461     3041.7127  1441071   29.01%
   2094    34     3041.7217  1415     4284.8461     3041.7127  1456987   29.01%
Elapsed time = 2259.31 sec. (896379.87 ticks, tree = 1.67 MB)
   2097    35     3041.7217  1378     4284.8461     3041.7127  1457096   29.01%
   2099    39     3041.7139  1433     4284.8461     3041.7127  1467752   29.01%
   2101    42     3041.7151  1489     4284.8461     3041.7130  1547445   29.01%
   2102    43     3041.7151  1446     4284.8461     3041.7130  1548446   29.01%
   2105    48     3041.7214  1450     4284.8461     3041.7130  1595404   29.01%
   2109    49     3041.7214  1420     4284.8461     3041.7130  1595514   29.01%
   2111    50     3041.7214  1394     4284.8461     3041.7130  1595574   29.01%
   2116    58     3041.7214  1371     4284.8461     3041.7130  1670783   29.01%
   2119    55     3041.7151  1421     4284.8461     3041.7130  1652836   29.01%
   2121    49     3041.7254  1461     4284.8461     3041.7130  1616112   29.01%
Elapsed time = 2555.77 sec. (954752.71 ticks, tree = 1.53 MB)
   2125    59     3041.7151  1375     4284.8461     3041.7130  1702745   29.01%
   2129    66     3041.7151  1423     4284.8461     3041.7130  1723554   29.01%
   2135    63     3041.7272  1468     4284.8461     3041.7130  1712221   29.01%
   2141    68     3041.7151  1360     4284.8461     3041.7130  1724762   29.01%
   2145    79     3041.7151  1487     4284.8461     3041.7130  1737338   29.01%
   2151    80     3041.7151  1431     4284.8461     3041.7130  1737535   29.01%
   2154    86     3041.7151  1358     4284.8461     3041.7130  1768490   29.01%
   2158    87     3041.7151  1329     4284.8461     3041.7130  1768702   29.01%
   2163    88     3041.7151  1311     4284.8461     3041.7130  1768898   29.01%
   2169    89     3041.7151  1294     4284.8461     3041.7130  1768973   29.01%
Elapsed time = 2783.70 sec. (1001942.00 ticks, tree = 4.04 MB)
   2173    88     3041.7254  1436     4284.8461     3041.7130  1782304   29.01%
   2177    97     3041.7226  1322     4284.8461     3041.7130  1792419   29.01%
   2184    90     3041.7254  1253     4284.8461     3041.7130  1761824   29.01%
   2187   105     3041.7139  1443     4284.8461     3041.7130  1805488   29.01%
   2191   100     3041.7254  1481     4284.8461     3041.7130  1805154   29.01%
   2195    95     3041.7139  1311     4284.8461     3041.7130  1794266   29.01%
   2203   135     3041.7139  1356     4284.8461     3041.7130  1862623   29.01%
   2208    90     3041.7254  1452     4284.8461     3041.7130  1795665   29.01%
   2211   139     3041.7254  1420     4284.8461     3041.7130  1877324   29.01%
   2215   144     3041.7254  1241     4284.8461     3041.7130  1897363   29.01%
Elapsed time = 3015.92 sec. (1052012.01 ticks, tree = 7.15 MB)
   2219   146     3041.7151  1418     4284.8461     3041.7130  1908207   29.01%
   2225   133     3041.7226  1222     4284.8461     3041.7130  1858856   29.01%
   2233   160     3041.7254  1294     4284.8461     3041.7130  1937856   29.01%
   2238   165     3041.7257  1313     4284.8461     3041.7130  1950402   29.01%
   2243   166     3041.7257  1305     4284.8461     3041.7130  1951630   29.01%
   2249   143     3041.7254  1289     4284.8461     3041.7130  1886735   29.01%
   2252   179     3041.7139  1384     4284.8461     3041.7130  1979535   29.01%
   2260   178     3041.7226  1207     4284.8461     3041.7130  1966767   29.01%
   2262   181     3041.7139  1463     4284.8461     3041.7130  1984614   29.01%
   2267   184     3041.7254  1246     4284.8461     3041.7130  1995627   29.01%
Elapsed time = 3221.92 sec. (1096852.74 ticks, tree = 9.61 MB)
   2271   167     3041.7260  1387     4284.8461     3041.7130  1963541   29.01%
   2278   169     3041.7260  1339     4284.8461     3041.7130  1964116   29.01%
   2282   194     3041.7139  1343     4284.8461     3041.7130  2022728   29.01%
   2288   188     3041.7158  1432     4284.8461     3041.7130  2012778   29.01%
   2294   197     3041.7139  1354     4284.8461     3041.7130  2027068   29.01%
   2298   189     3041.7158  1443     4284.8461     3041.7130  2016480   29.01%
   2302   208     3041.7260  1338     4284.8461     3041.7130  2055246   29.01%
   2307   216     3041.7158  1371     4284.8461     3041.7130  2081296   29.01%
   2310   210     3041.7260  1288     4284.8461     3041.7130  2056496   29.01%
   2316   217     3041.7161  1409     4284.8461     3041.7130  2084896   29.01%
Elapsed time = 3463.19 sec. (1145481.39 ticks, tree = 11.30 MB)
   2318   235     3041.7139  1254     4284.8461     3041.7130  2121918   29.01%
   2322   223     3041.7254  1337     4284.8461     3041.7130  2105894   29.01%
   2327   211     3041.7260  1364     4284.8461     3041.7130  2066934   29.01%
   2336   241     3041.7139  1179     4284.8461     3041.7130  2128995   29.01%
   2341   246     3041.7139  1140     4284.8461     3041.7130  2130244   29.01%
   2343   250     3041.7254  1351     4284.8461     3041.7130  2164084   29.01%
   2345   246     3041.7260  1313     4284.8461     3041.7130  2150125   29.01%
   2350   220     3041.7161  1441     4284.8461     3041.7130  2094352   29.01%
   2358   275     3041.7139  1131     4284.8461     3041.7130  2210566   29.01%
   2363   249     3041.7260  1294     4284.8461     3041.7130  2155347   29.01%
Elapsed time = 3703.03 sec. (1198356.35 ticks, tree = 15.00 MB)
   2369   277     3041.7139  1298     4284.8461     3041.7130  2215281   29.01%
   2372   258     3041.7254  1240     4284.8461     3041.7130  2173469   29.01%
   2375   251     3041.7260  1261     4284.8461     3041.7130  2160493   29.01%
   2382   262     3041.7254  1190     4284.8461     3041.7130  2186405   29.01%
   2386   286     3041.7260  1291     4284.8461     3041.7130  2236714   29.01%
   2389   261     3041.7254  1297     4284.8461     3041.7130  2182670   29.01%
   2398   266     3041.7254  1146     4284.8461     3041.7130  2194076   29.01%
   2402   292     3041.7260  1156     4284.8461     3041.7130  2242352   29.01%
   2411   295     3041.7254  1268     4284.8461     3041.7130  2253357   29.01%
   2417   267     3041.7254  1351     4284.8461     3041.7130  2201309   29.01%
Elapsed time = 3952.56 sec. (1248130.99 ticks, tree = 16.22 MB)
   2428   301     3041.7260  1104     4284.8461     3041.7130  2248851   29.01%
   2432   298     3041.7254  1315     4284.8461     3041.7130  2259305   29.01%
   2434   328     3041.7254  1398     4284.8461     3041.7130  2322967   29.01%
   2441   339     3041.7226  1158     4284.8461     3041.7130  2342511   29.01%
   2445   316     3041.7178  1323     4284.8461     3041.7130  2306161   29.01%
   2449   332     3041.7139  1498     4284.8461     3041.7130  2336452   29.01%
   2454   348     3041.7254  1349     4284.8461     3041.7130  2365845   29.01%
   2459   349     3041.7254  1323     4284.8461     3041.7130  2367533   29.01%
   2462   371     3041.7260  1066     4284.8461     3041.7130  2394286   29.01%
   2470   347     3041.7226  1182     4284.8461     3041.7130  2353780   29.01%
Elapsed time = 4208.95 sec. (1293802.85 ticks, tree = 22.24 MB)
   2472   306     3041.7254  1283     4284.8461     3041.7130  2275811   29.01%
   2483   348     3041.7226  1280     4284.8461     3041.7130  2359086   29.01%
   2487   355     3041.7254  1224     4284.8461     3041.7130  2376774   29.01%
   2493   378     3041.7254  1057     4284.8461     3041.7130  2397031   29.01%
   2498   373     3041.7260  1121     4284.8461     3041.7130  2408320   29.01%
   2505   356     3041.7257  1280     4284.8461     3041.7130  2382921   29.01%
   2514   403     3041.7254  1197     4284.8461     3041.7130  2490738   29.01%
   2523   418     3041.7226  1311     4284.8461     3041.7130  2519212   29.01%
   2524   381     3041.7254  1218     4284.8461     3041.7130  2408647   29.01%
   2538   394     3041.7164  1418     4284.8461     3041.7130  2467115   29.01%
Elapsed time = 4371.28 sec. (1341715.27 ticks, tree = 27.02 MB)
   2545   440     3041.7260  1118     4284.8461     3041.7130  2576584   29.01%
   2548   384     3041.7254  1280     4284.8461     3041.7130  2415536   29.01%
   2554   396     3041.7164  1372     4284.8461     3041.7130  2473216   29.01%
   2562   424     3041.7226  1194     4284.8461     3041.7130  2527148   29.01%
   2564   441     3041.7303  1244     4284.8461     3041.7130  2585529   29.01%
   2572   427     3041.7234  1247     4284.8461     3041.7130  2531135   29.01%
   2576   408     3041.7254  1397     4284.8461     3041.7130  2512568   29.01%
   2583   466     3041.7164  1409     4284.8461     3041.7130  2630234   29.01%
   2588   432     3041.7226  1320     4284.8461     3041.7130  2538695   29.01%
   2595   514     3041.7254  1173     4284.8461     3041.7130  2713984   29.01%
Elapsed time = 4586.25 sec. (1390201.55 ticks, tree = 39.59 MB)
   2600   501     3041.7226  1302     4284.8461     3041.7130  2689599   29.01%
   2605   503     3041.7226  1292     4284.8461     3041.7130  2691510   29.01%
   2615   508     3041.7226  1261     4284.8461     3041.7130  2694662   29.01%
   2621   445     3041.7260  1289     4284.8461     3041.7130  2590589   29.01%
   2626   487     3041.7139  1164     4284.8461     3041.7130  2680873   29.01%
   2630   462     3041.7254  1334     4284.8461     3041.7130  2624837   29.01%
   2637   534     3041.7260  1109     4284.8461     3041.7130  2776109   29.01%
   2641   528     3041.7254  1141     4284.8461     3041.7130  2766186   29.01%
*  2649+  516                         4279.7850     3041.7130            28.93%
   2649   518     3041.7226  1170     4279.7850     3041.7130  2707420   28.93%
   2655   536     3041.7260  1311     4279.7850     3041.7130  2783131   28.93%
Elapsed time = 4808.86 sec. (1440540.36 ticks, tree = 41.53 MB)
   2658   494     3041.7139  1316     4279.7850     3041.7130  2695622   28.93%
   2664   470     3041.7164  1507     4279.7850     3041.7130  2650187   28.93%
   2670   564     3041.7226  1240     4279.7850     3041.7130  2833003   28.93%
   2680   596     3041.7254  1114     4279.7850     3041.7130  2926527   28.93%
   2696   568     3041.7226  1134     4279.7850     3041.7130  2836944   28.93%
   2702   570     3041.7226  1165     4279.7850     3041.7130  2839030   28.93%
   2708   543     3041.7260  1322     4279.7850     3041.7130  2798355   28.93%
   2715   586     3041.7139  1361     4279.7850     3041.7130  2887541   28.93%
   2722   578     3041.7226  1263     4279.7850     3041.7130  2846374   28.93%
   2727   604     3041.7254   948     4279.7850     3041.7130  2940596   28.93%
Elapsed time = 4986.70 sec. (1484081.09 ticks, tree = 48.84 MB)
   2740   586     3041.7164  1481     4279.7850     3041.7130  2911936   28.93%
   2745   610     3041.7260  1287     4279.7850     3041.7130  2964369   28.93%
   2751   584     3041.7226  1216     4279.7850     3041.7130  2855312   28.93%
   2755   580     3041.7167  1255     4279.7850     3041.7130  2868878   28.93%
*  2765+  612                         4259.5336     3041.7130            28.59%
   2765   608     3041.7254  1158     4259.5336     3041.7130  2953239   28.59%
   2774   649     3041.7226  1031     4259.5336     3041.7130  3023412   28.59%
   2780   590     3041.7164  1551     4259.5336     3041.7130  2925149   28.59%
   2790   585     3041.7139  1295     4259.5336     3041.7130  2877962   28.59%
   2797   654     3041.7226  1243     4259.5336     3041.7130  3030094   28.59%
   2804   711     3041.7164  1312     4259.5336     3041.7130  3186296   28.59%
Elapsed time = 5174.19 sec. (1529807.22 ticks, tree = 58.94 MB)
   2810   662     3041.7260  1317     4259.5336     3041.7130  3076969   28.59%
   2821   667     3041.7260  1065     4259.5336     3041.7130  3078204   28.59%
   2827   660     3041.7226  1235     4259.5336     3041.7130  3040206   28.59%
   2836   717     3041.7164  1282     4259.5336     3041.7130  3194500   28.59%
   2844   708     3041.7139  1127     4259.5336     3041.7130  3164989   28.59%
   2845   660     3041.7254  1229     4259.5336     3041.7130  3079220   28.59%
   2852   720     3041.7164  1232     4259.5336     3041.7130  3200535   28.59%
   2861   670     3041.7226  1199     4259.5336     3041.7130  3051785   28.59%
   2864   668     3041.7263  1027     4259.5336     3041.7130  3095524   28.59%
   2865   662     3041.7254  1286     4259.5336     3041.7130  3087858   28.59%
Elapsed time = 5379.19 sec. (1574236.63 ticks, tree = 54.29 MB)
   2870   670     3041.7260  1013     4259.5336     3041.7130  3100307   28.59%
*  2875+  727                         4235.8654     3041.7130            28.19%
   2876   730     3041.7254  1057     4235.8654     3041.7130  3223900   28.19%
   2886   727     3041.7164  1322     4235.8654     3041.7130  3215940   28.19%
   2898   611     3041.7254   905     4235.8654     3041.7130  2958634   28.19%
   2902   713     3041.7139  1325     4235.8654     3041.7130  3170693   28.19%
*  2904+  685                         4194.6553     3041.7130            27.49%
   2909   733     3041.7254  1305     4194.6553     3041.7130  3236617   27.49%
   2916   795     3041.7139  1320     4194.6553     3041.7130  3332047   27.49%
   2920   780     3041.7254  1287     4194.6553     3041.7130  3315057   27.49%
   2925   811     3041.7260  1377     4194.6553     3041.7130  3384492   27.49%
   2926   796     3041.7139  1440     4194.6553     3041.7130  3340273   27.49%
Elapsed time = 5623.13 sec. (1629503.41 ticks, tree = 68.21 MB)
   2931   785     3041.7254   912     4194.6553     3041.7130  3320978   27.49%
   2937   843     3041.7164  1468     4194.6553     3041.7130  3440285   27.49%
   2939   788     3041.7254  1182     4194.6553     3041.7130  3327749   27.49%
   2944   798     3041.7142   863     4194.6553     3041.7130  3351077   27.49%
   2946   793     3041.7254  1074     4194.6553     3041.7130  3333092   27.49%
   2951   848     3041.7139  1313     4194.6553     3041.7130  3452527   27.49%
   2959   854     3041.7139  1210     4194.6553     3041.7130  3453660   27.49%
   2965   825     3041.7139  1188     4194.6553     3041.7130  3418712   27.49%
   2968   741     3041.7254  1266     4194.6553     3041.7130  3270128   27.49%
*  2969+  796                         4152.6097     3041.7130            26.75%
*  2969+  796                         4148.6578     3041.7130            26.68%
*  2969+  796                         4139.6226     3041.7130            26.52%
   2973   856     3041.7140  1275     4139.6226     3041.7130  3465194   26.52%
Elapsed time = 5866.53 sec. (1684970.55 ticks, tree = 73.68 MB)
   2980   882     3041.7254   817     4139.6226     3041.7130  3534945   26.52%
   2986   860     3041.7254  1331     4139.6226     3041.7130  3502235   26.52%
   2999   886     3041.7254   791     4139.6226     3041.7130  3538615   26.52%
   3007   862     3041.7139  1161     4139.6226     3041.7130  3473241   26.52%
   3017   889     3041.7254   768     4139.6226     3041.7130  3542847   26.52%
   3036   865     3041.7254  1260     4139.6226     3041.7130  3509591   26.52%
   3046   893     3041.7254   746     4139.6226     3041.7130  3546685   26.52%
   3061   914     3041.7139  1179     4139.6226     3041.7130  3638558   26.52%
   3062   917     3041.7260  1234     4139.6226     3041.7130  3650407   26.52%
   3070   919     3041.7226   851     4139.6226     3041.7130  3598387   26.52%
Elapsed time = 6012.89 sec. (1725539.98 ticks, tree = 79.43 MB)
   3085   873     3041.7139  1032     4139.6226     3041.7130  3486927   26.52%
   3101   871     3041.7254  1280     4139.6226     3041.7130  3520839   26.52%
   3109   878     3041.7139  1006     4139.6226     3041.7130  3490823   26.52%
   3120   927     3041.7226   993     4139.6226     3041.7130  3607046   26.52%
   3132   879     3041.7139  1277     4139.6226     3041.7130  3495923   26.52%
   3141   924     3041.7139  1095     4139.6226     3041.7130  3655451   26.52%
   3148   921     3041.7348  1470     4139.6226     3041.7130  3682193   26.52%
   3153   935     3041.7260  1224     4139.6226     3041.7130  3669384   26.52%
   3159   926     3041.7139  1325     4139.6226     3041.7130  3664021   26.52%
   3165   876     3041.7254  1319     4139.6226     3041.7130  3539900   26.52%
Elapsed time = 6224.78 sec. (1772070.72 ticks, tree = 75.32 MB)
   3168   979     3041.7298  1029     4139.6226     3041.7130  3753236   26.52%
   3173   930     3041.7139  1260     4139.6226     3041.7130  3674224   26.52%
   3188  1001     3041.7254  1212     4139.6226     3041.7130  3801478   26.52%
   3193  1024     3041.7139  1361     4139.6226     3041.7130  3843167   26.52%
   3198  1061     3041.7226   779     4139.6226     3041.7130  3876847   26.52%
   3201  1004     3041.7254  1296     4139.6226     3041.7130  3808729   26.52%
   3211   983     3041.7359  1161     4139.6226     3041.7130  3770667   26.52%
   3224  1069     3041.7226   747     4139.6226     3041.7130  3884477   26.52%
   3235  1090     3041.7260   841     4139.6226     3041.7130  3931153   26.52%
   3244  1080     3041.7233   673     4139.6226     3041.7130  3887729   26.52%
Elapsed time = 6459.36 sec. (1822503.67 ticks, tree = 98.11 MB)
   3255  1087     3041.7241   771     4139.6226     3041.7130  3889260   26.52%
   3272  1100     3041.7252   620     4139.6226     3041.7130  3889495   26.52%
   3288  1112     3041.7252   863     4139.6226     3041.7130  3891069   26.52%
   3305  1014     3041.7254  1010     4139.6226     3041.7130  3824841   26.52%
   3316  1129     3041.7271   525     4139.6226     3041.7130  3894321   26.52%
   3328  1038     3041.7139  1142     4139.6226     3041.7130  3870976   26.52%
   3339  1144     3041.7273   817     4139.6226     3041.7130  3898148   26.52%
   3347  1137     3041.7139   869     4139.6226     3041.7130  4006662   26.52%
Starting limited solution polishing.
   3356  1100     3041.7260  1047     4139.6226     3041.7130  3954534   26.52%
   3367  1147     3041.7273   486     4139.6226     3041.7130  3905982   26.52%
Elapsed time = 6630.88 sec. (1866597.94 ticks, tree = 106.11 MB)
   3368  1102     3041.7260  1221     4139.6226     3041.7130  3958514   26.52%
   3382  1154     3041.7273   477     4139.6226     3041.7130  3910090   26.52%
*  3389+ 1156                         4137.9345     3041.7130            26.49%
   3399  1290     3041.7278   424     4137.9345     3041.7130  4174381   26.49%
   3410  1298     3041.7289   375     4137.9345     3041.7130  4176219   26.49%
   3424  1306     3041.7289   533     4137.9345     3041.7130  4178178   26.49%
   3438  1314     3041.7289   543     4137.9345     3041.7130  4180817   26.49%
   3449  1140     3041.7139  1199     4137.9345     3041.7130  4029759   26.49%
   3453  1303     3041.7260  1248     4137.9345     3041.7130  4226977   26.49%
   3466  1308     3041.7260   782     4137.9345     3041.7130  4228393   26.49%
   3478  1322     3041.7341  1193     4137.9345     3041.7130  4190094   26.49%
Elapsed time = 6793.48 sec. (1908055.76 ticks, tree = 127.47 MB)
   3483  1195     3041.7139  1384     4137.9345     3041.7130  4157637   26.49%
   3497  1158     3041.7254   873     4137.9345     3041.7130  4075304   26.49%
   3498  1322     3041.7261  1016     4137.9345     3041.7130  4235990   26.49%
   3519  1337     3041.7294   310     4137.9345     3041.7130  4198622   26.49%
   3526  1198     3041.7206  1434     4137.9345     3041.7130  4167058   26.49%
   3536  1326     3041.7311  1206     4137.9345     3041.7130  4243167   26.49%
   3552  1340     3041.7367  1172     4137.9345     3041.7130  4206746   26.49%
   3580  1350     3041.7300   334     4137.9345     3041.7130  4208417   26.49%
   3586  1208     3041.7139  1207     4137.9345     3041.7130  4174993   26.49%
   3598  1350     3041.7143   727     4137.9345     3041.7130  4330289   26.49%
Elapsed time = 6962.72 sec. (1949864.20 ticks, tree = 130.42 MB)
   3609  1161     3041.7570  1296     4137.9345     3041.7130  4095839   26.49%
*  3612+ 1358                         4078.1215     3041.7130            25.41%
   3625  1364     3041.7172  1078     4078.1215     3041.7130  4556560   25.41%
   3646  1371     3041.7172   900     4078.1215     3041.7130  4557207   25.41%
   3655  1427     3041.7180   347     4078.1215     3041.7130  4621733   25.41%
   3670  1374     3041.7172  1020     4078.1215     3041.7130  4561378   25.41%
   3689  1524     3041.7300   477     4078.1215     3041.7130  4712439   25.41%
   3711  1534     3041.7300   448     4078.1215     3041.7130  4714181   25.41%
   3717  1384     3041.7304  1150     4078.1215     3041.7130  4621942   25.41%
*  3720+ 1447                         4076.4345     3041.7130            25.38%
   3720  1449     3041.7139   915     4076.4345     3041.7130  4675830   25.38%
   3733  1385     3041.7172   845     4076.4345     3041.7130  4572085   25.38%
Elapsed time = 7123.02 sec. (1992082.62 ticks, tree = 135.49 MB)
   3740  1387     3041.7254   841     4076.4345     3041.7130  4628603   25.38%
   3748  1456     3041.7180   574     4076.4345     3041.7130  4640718   25.38%
   3760  1460     3041.7195   755     4076.4345     3041.7130  4643979   25.38%
   3770  1465     3041.7180   735     4076.4345     3041.7130  4645912   25.38%
   3784  1557     3041.7257   595     4076.4345     3041.7130  4771533   25.38%
   3788  1334     3041.7262   629     4076.4345     3041.7130  4244734   25.38%

Flow cuts applied:  835
Mixed integer rounding cuts applied:  156
Zero-half cuts applied:  2
Lift and project cuts applied:  3

Root node processing (before b&c):
  Real time             =   36.91 sec. (37382.84 ticks)
Parallel b&c, 8 threads:
  Real time             = 7163.33 sec. (1988220.73 ticks)
  Sync time (average)   =  640.71 sec.
  Wait time (average)   =    0.14 sec.
                          ------------
Total (root+branch&cut) = 7200.23 sec. (2025603.57 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 10797 rows and 73937 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 4076.434466
4948089 MIP simplex iterations
3789 branch-and-bound nodes
absmipgap = 1034.72, relmipgap = 0.25383
COSTOS = 4076.43

NVS [*] :=
1  0.961933
2  0.997054
3  1
4  0.989706
;

O [1,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     2    4    4    0    2    4    4
2     4    6    6    4    4    4    1
3     4    6    6    6    6    6    4
4     7    8    6    8   15    6    6
5    11    6    7    5   11   10    9
6     9   11    7    8   16   11    6
7    20    2    6    6   16    9   10
8    18    5   17    6   16    8    9
9    22    2   15    6   10   13   14
10   12    7   15   15   20   10   14
11   22    7   17    8   14   11   17
12    7    8   15   22    7   10   13
13    7    8    8    9    8   10   16
14    7    8    8    9    8    8   11
15    4    5    7    3    4    4    2

 [2,*,*] (tr)
:    1    2    3   4    5    6    7     :=
1     2    4   4    4    2    4    2
2     5    4   6    4    5    4    4
3     5    6   7    6    6    6    6
4     9   11   6    8    6    6    6
5     6    6   6    9    6    8   10
6    12    6   9    8    6    8   11
7     6    9   9    6    6    8   10
8     5    6   6    6    6   13   17
9     6    9   6    6   11   10   11
10   12    6   8    6    6   10   11
11    6    8   6   14    8    9   13
12   21    8   6    8    8   15   12
13   13    8   8   17   12    8    8
14   13    8   8   17    7    8    8
15    9    4   5   11    4    4    2

 [3,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     4    4    5    4    2    4    2
2     4    4    6   11    4    4   12
3     4    8    6   10   12    6   12
4     6    6    8   10   10    6   11
5     8    6    8   17   13    8   10
6     6    6   10    8   10   13   11
7     6    7    9    6    9    9   10
8     6    8    6    6   12   11    9
9     6    6    6   12   10    9   11
10   14    6    7   12   13   10   14
11    6   11    6   14   18   10   12
12    9    8    6    8   13   11   12
13    8    8    8    8    7    7    8
14    8    8    8    8    8    8    8
15    4    4    4    7    4    4    2

 [4,*,*] (tr)
:    1    2    3    4    5   6    7     :=
1     3    4    4    4   2    3    2
2     4    4    4    4   5    5    4
3     4    6    4    6   6    6    4
4     6    6    5    7   6    6    6
5     6    6    6    6   7    7   10
6     6    7    7    9   7    8   11
7     6    6    6    7   5    9   10
8     7    6    8    6   8    8    8
9     6    6    8    6   6   10   12
10    8    8   11    6   6   10   15
11   12   10   12    6   6   10   17
12   11   11    9   11   8   10   15
13    8   11    8    8   9    8   11
14    7   11    7    8   8    7    8
15    7    4    4    6   6    4    2
;

X [*,*] (tr)
:    1   2   3   4   5   6   8    :=
1    1   3   4   4   7   2   0
2    3   2   0   4   2   0   1
3    2   3   0   0   2   0   0
4    1   0   0   0   0   0   0
6    8   3   1   4   0   2   0
7    4   0   2   1   0   0   0
8    0   1   0   1   0   0   0
10   3   0   0   1   0   0   0
11   0   4   4   5   2   0   0
12   1   0   1   0   3   0   0
14   0   2   0   1   0   0   0
15   0   1   1   0   0   0   0
16   6   0   4   3   1   0   0
;

:        PE  PF    :=
1 1 4     1   0
1 1 5     5   0
1 1 6     3   0
1 1 7    14   0
1 1 8    12   0
1 1 9    16   0
1 1 10    6   0
1 1 11   16   0
1 1 13    0   1
1 1 14    0   1
1 2 2     2   0
1 2 4     2   0
1 2 6     5   0
1 2 7     0   4
1 2 9     0   4
1 2 10    1   0
1 2 15    1   0
1 3 2     2   0
1 3 3     2   0
1 3 8    11   0
1 3 9     9   0
1 3 10    7   0
1 3 11   11   0
1 3 12    9   0
1 3 15    3   0
1 4 1     0   4
1 4 4     2   0
1 4 6     2   0
1 4 10    9   0
1 4 12   13   0
1 4 13    1   0
1 4 14    1   0
1 4 15    0   1
1 5 4     9   0
1 5 5     5   0
1 5 6    10   0
1 5 7    10   0
1 5 8    10   0
1 5 9     4   0
1 5 10   13   0
1 5 11    7   0
1 6 5     2   0
1 6 6     3   0
1 6 9     5   0
1 6 11    1   0
1 6 13    2   0
1 7 1     2   0
1 7 2     0   3
1 7 6     0   7
1 7 8     1   0
1 7 9     2   0
1 7 10    0   1
1 7 11    5   0
1 7 13    8   0
1 7 14    3   0
2 1 2     1   0
2 1 3     1   0
2 1 4     3   0
2 1 6     6   0
2 1 10    6   0
2 1 12   13   0
2 1 13    5   0
2 1 14    5   0
2 1 15    5   0
2 2 4     5   0
2 2 7     3   0
2 2 9     3   0
2 3 2     2   0
2 3 3     3   0
2 3 6     3   0
2 3 7     3   0
2 3 15    1   0
2 4 4     2   0
2 4 5     3   0
2 4 6     2   0
2 4 11    6   0
2 4 13    9   0
2 4 14    9   0
2 4 15    7   0
2 5 2     1   0
2 5 9     5   0
2 5 13    3   0
2 6 8     4   0
2 6 9     3   0
2 6 12    4   0
2 7 3     2   0
2 7 8     9   0
2 7 10    0   2
3 1 1     2   0
3 1 5     2   0
3 1 10    8   0
3 1 12    1   0
3 2 3     2   0
3 2 7     1   0
3 2 8     2   0
3 2 11    3   0
3 2 13    1   0
3 3 1     1   0
3 3 2     2   0
3 3 3     2   0
3 3 4     2   0
3 3 5     2   0
3 3 6     4   0
3 3 7     3   0
3 4 2     7   0
3 4 3     4   0
3 4 4     4   0
3 4 5    11   0
3 4 6     2   0
3 4 9     6   0
3 4 10    6   0
3 4 11    6   0
3 4 15    3   0
3 5 3     6   0
3 5 4     4   0
3 5 5     7   0
3 5 6     4   0
3 5 7     3   0
3 5 8     6   0
3 5 9     4   0
3 5 10    7   0
3 5 11   10   0
3 5 12    5   0
3 6 6     5   0
3 6 7     1   0
3 6 8     2   0
3 6 9     2   0
3 7 2     8   0
3 7 3     8   0
3 7 4     5   0
3 7 11    1   0
4 1 1     1   0
4 1 8     1   0
4 1 10    2   0
4 1 11    6   0
4 1 12    3   0
4 1 14    0   1
4 1 15    3   0
4 2 6     1   0
4 2 10    2   0
4 2 11    2   0
4 2 12    2   0
4 2 13    3   0
4 2 14    3   0
4 3 6     1   0
4 3 8     2   0
4 3 9     2   0
4 3 10    3   0
4 3 11    6   0
4 3 12    3   0
4 3 14    0   1
4 4 4     1   0
4 4 6     3   0
4 4 7     1   0
4 4 11    0   1
4 4 12    2   0
4 4 15    2   0
4 5 2     1   0
4 5 5     1   0
4 5 6     1   0
4 5 8     2   0
4 5 11    0   2
4 5 15    2   0
4 6 1     0   1
4 6 2     1   0
4 6 6     1   0
4 6 9     2   0
4 6 14    0   1
4 7 10    1   0
4 7 11    5   0
4 7 12    3   0
4 7 13    3   0
;

PO [*,1,1,*] (tr)
:    1    2    3   4    :=
1     2    0   0   0
2     2    0   2   0
3     2    0   2   0
4     7    0   0   0
5     7    4   0   0
6     9    0   0   0
7    11    9   0   0
8    11    7   0   0
9    11   10   1   0
10   11    0   0   1
11   11   10   1   0
12    7    0   0   0
13    7    0   0   0
14    7    0   0   0
15    3    1   0   0

 [*,1,2,*] (tr)
:    1   2   3   4    :=
1    4   0   0   0
2    6   0   0   0
3    6   0   0   0
4    6   0   1   1
5    6   0   0   0
6    6   2   3   0
7    2   0   0   0
8    2   3   0   0
9    2   0   0   0
10   4   3   0   0
11   7   0   0   0
12   8   0   0   0
13   8   0   0   0
14   8   0   0   0
15   5   0   0   0

 [*,1,3,*] (tr)
:    1    2   3    :=
1     4   0   0
2     6   0   0
3     6   0   0
4     6   0   0
5     7   0   0
6     7   0   0
7     6   0   0
8    13   3   1
9    13   2   0
10   11   2   2
11   11   4   2
12   11   2   2
13    8   0   0
14    8   0   0
15    7   0   0

 [*,1,4,*] (tr)
:    1   2   3    :=
2    4   0   0
3    5   0   1
4    5   0   3
5    5   0   0
6    5   1   2
7    5   1   0
8    3   1   2
9    5   1   0
10   5   6   4
11   8   0   0
12   9   9   4
13   9   0   0
14   9   0   0
15   3   0   0

 [*,1,5,*] (tr)
:    1    2   3   4    :=
1     2   0   0   0
2     4   0   0   0
3     6   0   0   0
4    12   0   3   0
5    11   0   0   0
6    13   0   3   0
7    13   3   0   0
8    11   1   4   0
9    10   0   0   0
10   14   2   4   0
11   14   0   0   0
12    6   0   0   1
13    6   0   2   0
14    6   0   2   0
15    4   0   0   0

 [*,1,6,*] (tr)
:    1    2   3    :=
1     4   0   0
2     4   0   0
3     4   2   0
4     4   2   0
5     8   2   0
6     8   3   0
7     8   1   0
8     8   0   0
9     7   6   0
10    7   1   2
11    7   4   0
12   10   0   0
13    7   3   0
14    7   1   0
15    3   1   0

 [*,1,7,*] (tr)
:    1    2   3   4    :=
1     1   0   3   0
2     1   0   0   0
3     4   0   0   0
4     4   0   2   0
5     3   3   3   0
6     5   0   1   0
7     7   0   3   0
8     9   0   0   0
9    13   1   0   0
10   13   0   0   1
11   13   2   2   0
12   13   0   0   0
13   13   3   0   0
14   11   0   0   0
15    2   0   0   0

 [*,2,1,*] (tr)
:    2    6    7  10  14    :=
1     0    2   0   0   0
2     0    5   0   0   0
3     0    5   0   0   0
4     4    5   0   0   0
5     0    5   0   0   1
6     5    5   0   2   0
7     0    4   2   0   0
8     0    3   2   0   0
9     0    4   2   0   0
10   10    2   0   0   0
11    0    4   2   0   0
12    8   13   0   0   0
13    1   12   0   0   0
14    1   12   0   0   0
15    0    9   0   0   0

 [*,2,2,*] (tr)
:    2   6   8  10    :=
1    0   4   0   0
2    0   4   0   0
3    2   4   0   0
4    6   4   0   1
5    6   0   0   0
6    4   0   1   1
7    9   0   0   0
8    6   0   0   0
9    9   0   0   0
10   2   4   0   0
11   0   8   0   0
12   0   8   0   0
13   0   8   0   0
14   0   8   0   0
15   0   4   0   0

 [*,2,3,*] (tr)
:    2   6   7    :=
1    2   2   0
2    4   2   0
3    4   2   1
4    4   2   0
5    2   4   0
6    5   4   0
7    5   4   0
8    2   4   0
9    3   3   0
10   3   5   0
11   3   3   0
12   0   6   0
13   2   6   0
14   2   6   0
15   0   5   0

 [*,2,4,*] (tr)
:    2   6  14    :=
1    0   4   0
2    0   4   0
3    0   6   0
4    0   8   0
5    0   8   1
6    0   8   0
7    0   6   0
8    2   4   0
9    2   4   0
10   1   5   0
11   7   7   0
12   0   8   0
13   9   8   0
14   9   8   0
15   9   2   0

 [*,2,5,*] (tr)
:    2   6   7  10    :=
1    0   2   0   0
2    1   4   0   0
3    2   4   0   0
4    2   4   0   0
5    2   4   0   0
6    2   4   0   0
7    1   2   3   0
8    4   2   0   0
9    5   2   0   4
10   3   3   0   0
11   2   6   0   0
12   1   6   1   0
13   1   6   4   1
14   1   6   0   0
15   1   3   0   0

 [*,2,6,*] (tr)
:    2   6   7   8    :=
1    0   4   0   0
2    0   4   0   0
3    0   6   0   0
4    0   6   0   0
5    0   8   0   0
6    0   8   0   0
7    4   4   0   0
8    6   5   0   2
9    0   3   7   0
10   7   3   0   0
11   4   5   0   0
12   7   8   0   0
13   0   8   0   0
14   0   8   0   0
15   0   4   0   0

 [*,2,7,*] (tr)
:    2    6   7  10    :=
1     0   2   0   0
2     0   4   0   0
3     2   4   0   0
4     2   4   0   0
5     0   7   3   0
6     4   7   0   0
7     3   7   0   0
8     9   7   0   1
9     8   3   0   0
10   10   1   0   0
11    8   5   0   0
12    7   5   0   0
13    3   5   0   0
14    3   5   0   0
15    2   0   0   0

 [*,3,1,*] (tr)
:    3   7  10  11  12    :=
1    2   0   0   2   0
2    0   0   0   4   0
3    0   0   0   4   0
4    2   0   0   4   0
5    0   0   4   4   0
6    0   2   2   2   0
7    0   0   4   2   0
8    0   0   4   2   0
9    0   0   1   4   1
10   1   3   1   5   4
11   0   1   0   5   0
12   1   1   0   7   0
13   0   1   0   7   0
14   0   1   0   7   0
15   0   1   0   3   0

 [*,3,2,*] (tr)
:    3   7  10  11  12  15    :=
1    2   0   0   2   0   0
2    2   0   0   2   0   0
3    5   0   1   2   0   0
4    4   0   0   2   0   0
5    3   0   1   2   0   0
6    0   0   0   6   0   0
7    0   0   1   6   0   0
8    0   0   1   7   0   0
9    0   0   0   5   0   1
10   0   0   0   6   0   0
11   0   4   0   6   1   0
12   0   4   0   4   0   0
13   0   4   0   4   0   0
14   0   4   0   4   0   0
15   0   0   0   4   0   0

 [*,3,3,*] (tr)
:    3   7  10  11  12    :=
1    0   0   0   5   0
2    0   1   0   5   0
3    0   0   1   5   0
4    0   1   2   5   0
5    0   1   2   5   0
6    0   1   4   5   0
7    2   1   4   2   0
8    1   0   3   2   0
9    2   0   2   2   0
10   0   0   0   6   1
11   0   0   0   6   0
12   0   0   0   6   0
13   2   0   0   6   0
14   2   0   0   6   0
15   0   0   0   4   0

 [*,3,4,*] (tr)
:    3   7   11  12    :=
1    0   2    2   0
2    3   6    2   0
3    2   6    2   0
4    0   6    4   0
5    5   6    6   0
6    0   2    6   0
7    2   0    4   0
8    0   0    6   0
9    4   1    6   1
10   0   1   11   0
11   4   1    9   0
12   0   1    7   0
13   0   1    7   0
14   0   1    7   0
15   0   0    7   0

 [*,3,5,*] (tr)
:    3   7  10  11  12    :=
1    0   0   0   2   0
2    0   2   0   2   0
3    3   2   0   7   0
4    0   3   0   7   0
5    3   3   0   7   0
6    0   3   0   7   0
7    4   0   0   5   0
8    0   1   3   8   0
9    4   1   0   3   2
10   0   4   4   5   0
11   2   4   4   8   0
12   2   3   1   7   0
13   0   0   0   7   0
14   0   0   1   7   0
15   0   0   0   4   0

 [*,3,6,*] (tr)
:    3   7  10  11  12    :=
1    0   0   0   4   0
2    0   0   0   4   0
3    0   0   0   6   0
4    0   0   0   6   0
5    0   2   0   6   0
6    0   7   0   6   0
7    2   7   0   0   0
8    4   7   0   0   0
9    4   0   4   1   0
10   2   3   4   1   0
11   4   1   4   1   0
12   5   0   4   2   0
13   5   0   1   1   0
14   5   0   1   1   1
15   3   0   0   1   0

 [*,3,7,*] (tr)
:    3   7  10  11  12    :=
1    0   0   0   0   2
2    4   0   0   8   0
3    4   0   0   8   0
4    2   0   0   9   0
5    1   0   0   9   0
6    2   3   0   6   0
7    0   3   1   6   0
8    3   3   3   0   0
9    2   3   4   2   0
10   2   3   4   4   1
11   0   4   4   4   0
12   2   4   1   4   1
13   0   4   0   4   0
14   0   4   0   4   0
15   0   0   0   2   0

 [*,4,1,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   0   3   0   0
2    0   1   0   3   0   0
3    0   1   0   3   0   0
4    0   1   0   3   1   1
5    0   1   3   0   1   1
6    0   0   3   1   1   1
7    1   0   3   0   1   1
8    1   0   4   0   1   1
9    1   0   3   0   1   1
10   0   0   0   0   0   8
11   0   0   4   0   0   8
12   0   0   4   0   0   7
13   0   0   1   0   0   7
14   0   0   0   0   0   7
15   0   0   0   0   0   7

 [*,4,2,*] (tr)
:    4   8  12  14  15  16    :=
1    1   0   0   0   1   2
2    1   0   0   0   1   2
3    1   1   0   0   1   3
4    0   1   0   0   1   4
5    0   1   0   0   1   4
6    0   0   0   0   2   5
7    0   2   0   0   1   3
8    0   2   0   0   1   3
9    0   1   0   1   0   4
10   0   1   1   1   0   5
11   0   0   0   1   0   9
12   0   0   1   1   0   9
13   0   0   1   1   0   9
14   0   0   1   1   0   9
15   0   0   1   0   0   3

 [*,4,3,*] (tr)
:    8  12  14  15  16    :=
1    0   3   0   0   1
2    0   3   0   0   1
3    0   3   0   0   1
4    1   3   0   0   1
5    1   4   0   0   1
6    1   4   0   1   1
7    1   4   0   1   0
8    0   5   2   1   0
9    1   1   2   2   2
10   1   0   2   2   6
11   1   1   2   2   6
12   1   1   0   1   6
13   1   1   0   0   6
14   1   0   0   0   6
15   0   0   0   0   4

 [*,4,4,*] (tr)
:    8  12  14  15   16    :=
1    0   0   1   0    3
2    0   0   1   0    3
3    0   0   3   0    3
4    0   0   3   1    3
5    0   0   2   1    3
6    0   1   3   1    4
7    1   1   0   1    4
8    1   1   0   0    4
9    1   0   0   0    5
10   1   0   0   0    5
11   1   0   0   0    5
12   1   0   0   0   10
13   0   0   0   0    8
14   0   0   0   0    8
15   0   0   0   0    6

 [*,4,5,*] (tr)
:    4   8  12  14  15  16    :=
1    0   1   0   0   0   1
2    0   1   3   0   0   1
3    0   2   3   0   0   1
4    0   2   3   0   0   1
5    0   2   4   0   0   1
6    0   2   4   0   0   1
7    0   0   4   0   0   1
8    0   0   4   2   0   2
9    0   0   2   3   0   1
10   0   0   2   3   0   1
11   0   0   1   3   1   1
12   0   0   1   1   1   5
13   1   0   1   1   1   5
14   1   0   0   1   1   5
15   1   0   0   0   0   5

 [*,4,6,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   0   0   0   3
2    0   0   0   1   1   3
3    0   0   0   1   2   3
4    0   0   0   1   2   3
5    0   1   0   1   2   3
6    0   2   0   1   2   3
7    1   2   4   1   1   0
8    1   0   4   0   0   3
9    1   1   5   0   0   3
10   1   1   5   0   0   3
11   0   1   5   0   0   4
12   0   0   5   2   0   3
13   0   0   3   2   0   3
14   0   0   2   2   0   3
15   0   0   0   2   0   2

 [*,4,7,*] (tr)
:    4   8  12  14  15   16    :=
1    0   0   1   0   1    0
2    0   0   3   0   1    0
3    0   0   3   0   1    0
4    0   0   3   0   1    2
5    0   0   3   0   2    5
6    0   0   3   1   2    5
7    0   0   3   1   1    5
8    0   0   3   1   1    3
9    0   1   1   1   0    9
10   0   2   0   3   0   10
11   1   2   1   3   0   10
12   1   2   0   2   0   10
13   1   1   0   2   0    7
14   0   1   0   0   0    7
15   0   1   0   0   0    1
;

R [1,1,1,*,*]
 [1,1,2,*,*]
:    4    :=
36   1

 [1,1,3,*,*]
:    4    :=
35   1

 [1,1,4,*,*]
:    4    :=
36   1

 [1,1,5,*,*]
 [1,1,6,*,*]
:    4    :=
17   1

 [1,1,7,*,*]
:    4    :=
1    1

 [1,2,1,*,*]
:   16    :=
31   3

 [1,2,2,*,*]
:   16    :=
25   3

 [1,2,3,*,*]
:   16    :=
28   1
35   2

 [1,2,4,*,*]
 [1,2,5,*,*]
 [1,2,6,*,*]
:   16    :=
9    2
28   1

 [1,2,7,*,*]
:   16    :=
28   3

 [1,3,1,*,*]
 [1,3,2,*,*]
:    2    :=
1    2

 [1,3,3,*,*]
 [1,3,4,*,*]
:    2    :=
31   2

 [1,3,5,*,*]
:    2    :=
25   2

 [1,3,6,*,*]
:    2    :=
28   2

 [1,3,7,*,*]
:    2    :=
5    1
17   1

 [1,4,1,*,*]
:   12    :=
25   1

 [1,4,2,*,*]
:   12    :=
1    1

 [1,4,3,*,*]
 [1,4,4,*,*]
 [1,4,5,*,*]
:   12    :=
36   1

 [1,4,6,*,*]
:   12    :=
25   1

 [1,4,7,*,*]
:   12    :=
33   1

 [1,6,1,*,*]
:   13    :=
36   8

 [1,6,2,*,*]
:   13    :=
1    4
35   4

 [1,6,3,*,*]
 [1,6,4,*,*]
:   13    :=
25   2
35   6

 [1,6,5,*,*]
 [1,6,6,*,*]
:   13    :=
35   4
36   4

 [1,6,7,*,*]
:   13    :=
1    2
17   5
35   1

 [1,7,1,*,*]
 [1,7,2,*,*]
:    2    :=
35   4

 [1,7,3,*,*]
 [1,7,4,*,*]
:    2    :=
5    4

 [1,7,5,*,*]
:    2    :=
33   4

 [1,7,6,*,*]
:    2    :=
21   4

 [1,7,7,*,*]
:    2    :=
35   4

 [1,8,1,*,*]
 [1,8,2,*,*]
 [1,8,3,*,*]
 [1,8,4,*,*]
 [1,8,5,*,*]
 [1,8,6,*,*]
 [1,8,7,*,*]
 [1,10,1,*,*]
:    8    :=
17   3

 [1,10,2,*,*]
 [1,10,3,*,*]
:    8    :=
13   1
21   2

 [1,10,4,*,*]
 [1,10,5,*,*]
:    8    :=
28   3

 [1,10,6,*,*]
:    8    :=
31   3

 [1,10,7,*,*]
:    8    :=
28   3

 [1,11,1,*,*]
 [1,11,2,*,*]
 [1,11,3,*,*]
 [1,11,4,*,*]
 [1,11,5,*,*]
 [1,11,6,*,*]
 [1,11,7,*,*]
 [1,12,1,*,*]
 [1,12,2,*,*]
 [1,12,3,*,*]
:    1    :=
17   1

 [1,12,4,*,*]
:    1    :=
21   1

 [1,12,5,*,*]
:    1    :=
33   1

 [1,12,6,*,*]
:    1    :=
31   1

 [1,12,7,*,*]
:    1    :=
31   1

 [1,14,1,*,*]
 [1,14,2,*,*]
 [1,14,3,*,*]
 [1,14,4,*,*]
 [1,14,5,*,*]
 [1,14,6,*,*]
 [1,14,7,*,*]
 [1,15,1,*,*]
 [1,15,2,*,*]
 [1,15,3,*,*]
 [1,15,4,*,*]
 [1,15,5,*,*]
 [1,15,6,*,*]
 [1,15,7,*,*]
 [1,16,1,*,*]
 [1,16,2,*,*]
:    2    :=
35   5
36   1

 [1,16,3,*,*]
 [1,16,4,*,*]
:    2    :=
36   6

 [1,16,5,*,*]
:    2    :=
28   1
36   5

 [1,16,6,*,*]
:    2    :=
28   3
35   1
36   2

 [1,16,7,*,*]
:    2    :=
13   2
31   2
35   2

 [2,1,1,*,*]
:   26    :=
36   3

 [2,1,2,*,*]
:   26    :=
35   3

 [2,1,3,*,*]
 [2,1,4,*,*]
:   26    :=
35   3

 [2,1,5,*,*]
:   26    :=
1    1
35   2

 [2,1,6,*,*]
:   26    :=
36   3

 [2,1,7,*,*]
:   26    :=
9    3

 [2,2,1,*,*]
:   27    :=
13   2

 [2,2,2,*,*]
 [2,2,3,*,*]
:   27    :=
1    2

 [2,2,4,*,*]
:   27    :=
36   2

 [2,2,5,*,*]
:   27    :=
25   2

 [2,2,6,*,*]
:   27    :=
33   2

 [2,2,7,*,*]
:   27    :=
9    2

 [2,3,1,*,*]
:   26    :=
1    2
31   1

 [2,3,2,*,*]
:   26    :=
9    3

 [2,3,3,*,*]
 [2,3,4,*,*]
:   26    :=
5    3

 [2,3,5,*,*]
:   26    :=
9    3

 [2,3,6,*,*]
:   26    :=
36   3

 [2,3,7,*,*]
:   26    :=
1    3

 [2,4,1,*,*]
 [2,4,2,*,*]
 [2,4,3,*,*]
 [2,4,4,*,*]
 [2,4,5,*,*]
 [2,4,6,*,*]
 [2,4,7,*,*]
 [2,6,1,*,*]
:   27    :=
35   2
36   1

 [2,6,2,*,*]
 [2,6,3,*,*]
:   27    :=
36   3

 [2,6,4,*,*]
:   27    :=
13   2
36   1

 [2,6,5,*,*]
:   27    :=
35   3

 [2,6,6,*,*]
:   27    :=
17   2
28   1

 [2,6,7,*,*]
:   27    :=
35   3

 [2,7,1,*,*]
 [2,7,2,*,*]
 [2,7,3,*,*]
 [2,7,4,*,*]
 [2,7,5,*,*]
 [2,7,6,*,*]
 [2,7,7,*,*]
 [2,8,1,*,*]
:   25    :=
5    1

 [2,8,2,*,*]
:   25    :=
25   1

 [2,8,3,*,*]
:   25    :=
13   1

 [2,8,4,*,*]
 [2,8,5,*,*]
:   25    :=
9    1

 [2,8,6,*,*]
:   25    :=
17   1

 [2,8,7,*,*]
:   25    :=
31   1

 [2,10,1,*,*]
 [2,10,2,*,*]
 [2,10,3,*,*]
 [2,10,4,*,*]
 [2,10,5,*,*]
 [2,10,6,*,*]
 [2,10,7,*,*]
 [2,11,1,*,*]
:   26    :=
5    2
36   2

 [2,11,2,*,*]
:   26    :=
28   1
36   3

 [2,11,3,*,*]
 [2,11,4,*,*]
:   26    :=
13   2
28   2

 [2,11,5,*,*]
:   26    :=
28   1
35   3

 [2,11,6,*,*]
:   26    :=
9    2
31   1
36   1

 [2,11,7,*,*]
:   26    :=
5    3
13   1

 [2,12,1,*,*]
 [2,12,2,*,*]
 [2,12,3,*,*]
 [2,12,4,*,*]
 [2,12,5,*,*]
 [2,12,6,*,*]
 [2,12,7,*,*]
 [2,14,1,*,*]
:   27    :=
1    2

 [2,14,2,*,*]
 [2,14,3,*,*]
:   27    :=
28   2

 [2,14,4,*,*]
:   27    :=
9    2

 [2,14,5,*,*]
:   27    :=
28   2

 [2,14,6,*,*]
:   27    :=
36   2

 [2,14,7,*,*]
:   27    :=
33   2

 [2,15,1,*,*]
 [2,15,2,*,*]
:   28    :=
21   1

 [2,15,3,*,*]
:   28    :=
31   1

 [2,15,4,*,*]
:   28    :=
13   1

 [2,15,5,*,*]
:   28    :=
35   1

 [2,15,6,*,*]
:   28    :=
9    1

 [2,15,7,*,*]
:   28    :=
17   1

 [2,16,1,*,*]
 [2,16,2,*,*]
 [2,16,3,*,*]
 [2,16,4,*,*]
 [2,16,5,*,*]
 [2,16,6,*,*]
 [2,16,7,*,*]
 [3,1,1,*,*]
:   21    :=
22   2
32   2

 [3,1,2,*,*]
:   21    :=
6    2
34   2

 [3,1,3,*,*]
:   21    :=
2    4

 [3,1,4,*,*]
:   21    :=
6    4

 [3,1,5,*,*]
:   21    :=
6    2
22   2

 [3,1,6,*,*]
 [3,1,7,*,*]
 [3,2,1,*,*]
 [3,2,2,*,*]
 [3,2,3,*,*]
 [3,2,4,*,*]
 [3,2,5,*,*]
 [3,2,6,*,*]
 [3,2,7,*,*]
 [3,3,1,*,*]
 [3,3,2,*,*]
 [3,3,3,*,*]
 [3,3,4,*,*]
 [3,3,5,*,*]
 [3,3,6,*,*]
 [3,3,7,*,*]
 [3,4,1,*,*]
 [3,4,2,*,*]
 [3,4,3,*,*]
 [3,4,4,*,*]
 [3,4,5,*,*]
 [3,4,6,*,*]
 [3,4,7,*,*]
 [3,6,1,*,*]
:   10    :=
32   1

 [3,6,2,*,*]
 [3,6,3,*,*]
:   10    :=
32   1

 [3,6,4,*,*]
:   10    :=
34   1

 [3,6,5,*,*]
:   10    :=
2    1

 [3,6,6,*,*]
 [3,6,7,*,*]
:   10    :=
32   1

 [3,7,1,*,*]
:    7    :=
22   2

 [3,7,2,*,*]
 [3,7,3,*,*]
 [3,7,4,*,*]
:    7    :=
2    2

 [3,7,5,*,*]
:    7    :=
6    2

 [3,7,6,*,*]
:    7    :=
18   2

 [3,7,7,*,*]
:    7    :=
18   2

 [3,8,1,*,*]
 [3,8,2,*,*]
 [3,8,3,*,*]
 [3,8,4,*,*]
 [3,8,5,*,*]
 [3,8,6,*,*]
 [3,8,7,*,*]
 [3,10,1,*,*]
 [3,10,2,*,*]
 [3,10,3,*,*]
 [3,10,4,*,*]
 [3,10,5,*,*]
 [3,10,6,*,*]
 [3,10,7,*,*]
 [3,11,1,*,*]
 [3,11,2,*,*]
 [3,11,3,*,*]
:    1    :=
34   4

 [3,11,4,*,*]
:    1    :=
2    2
18   2

 [3,11,5,*,*]
:    1    :=
2    2
34   2

 [3,11,6,*,*]
:    1    :=
2    4

 [3,11,7,*,*]
:    1    :=
32   2
34   2

 [3,12,1,*,*]
:   18    :=
29   1

 [3,12,2,*,*]
:   18    :=
34   1

 [3,12,3,*,*]
:   18    :=
29   1

 [3,12,4,*,*]
 [3,12,5,*,*]
:   18    :=
18   1

 [3,12,6,*,*]
:   18    :=
26   1

 [3,12,7,*,*]
 [3,14,1,*,*]
 [3,14,2,*,*]
 [3,14,3,*,*]
 [3,14,4,*,*]
 [3,14,5,*,*]
 [3,14,6,*,*]
 [3,14,7,*,*]
 [3,15,1,*,*]
:   16    :=
14   1

 [3,15,2,*,*]
:   16    :=
2    1

 [3,15,3,*,*]
:   16    :=
22   1

 [3,15,4,*,*]
 [3,15,5,*,*]
 [3,15,6,*,*]
:   16    :=
6    1

 [3,15,7,*,*]
:   16    :=
2    1

 [3,16,1,*,*]
:   19    :=
34   4

 [3,16,2,*,*]
:   19    :=
2    2
14   1
32   1

 [3,16,3,*,*]
:   19    :=
34   4

 [3,16,4,*,*]
:   19    :=
2    2
26   2

 [3,16,5,*,*]
 [3,16,6,*,*]
 [3,16,7,*,*]
:   19    :=
32   4

 [4,1,1,*,*]
 [4,1,2,*,*]
:   28    :=
2    4

 [4,1,3,*,*]
:   28    :=
18   1
26   3

 [4,1,4,*,*]
:   28    :=
10   1
32   3

 [4,1,5,*,*]
:   28    :=
34   4

 [4,1,6,*,*]
:   28    :=
2    4

 [4,1,7,*,*]
:   28    :=
32   4

 [4,2,1,*,*]
:   24    :=
26   4

 [4,2,2,*,*]
:   24    :=
14   4

 [4,2,3,*,*]
:   24    :=
6    1
22   3

 [4,2,4,*,*]
:   24    :=
34   4

 [4,2,5,*,*]
 [4,2,6,*,*]
:   24    :=
26   4

 [4,2,7,*,*]
:   24    :=
29   3
34   1

 [4,3,1,*,*]
 [4,3,2,*,*]
 [4,3,3,*,*]
 [4,3,4,*,*]
 [4,3,5,*,*]
 [4,3,6,*,*]
 [4,3,7,*,*]
 [4,4,1,*,*]
 [4,4,2,*,*]
 [4,4,3,*,*]
 [4,4,4,*,*]
 [4,4,5,*,*]
 [4,4,6,*,*]
 [4,4,7,*,*]
 [4,6,1,*,*]
:   22    :=
2    2
6    1
26   1

 [4,6,2,*,*]
:   22    :=
34   4

 [4,6,3,*,*]
:   22    :=
18   2
34   2

 [4,6,4,*,*]
:   22    :=
2    4

 [4,6,5,*,*]
:   22    :=
2    1
34   3

 [4,6,6,*,*]
:   22    :=
2    4

 [4,6,7,*,*]
 [4,7,1,*,*]
:   27    :=
34   1

 [4,7,2,*,*]
 [4,7,3,*,*]
:   27    :=
6    1

 [4,7,4,*,*]
:   27    :=
32   1

 [4,7,5,*,*]
:   27    :=
14   1

 [4,7,6,*,*]
:   27    :=
22   1

 [4,7,7,*,*]
:   27    :=
18   1

 [4,8,1,*,*]
 [4,8,2,*,*]
:   28    :=
10   1

 [4,8,3,*,*]
:   28    :=
32   1

 [4,8,4,*,*]
:   28    :=
26   1

 [4,8,5,*,*]
:   28    :=
2    1

 [4,8,6,*,*]
:   28    :=
22   1

 [4,8,7,*,*]
:   28    :=
34   1

 [4,10,1,*,*]
:   25    :=
18   1

 [4,10,2,*,*]
:   25    :=
10   1

 [4,10,3,*,*]
:   25    :=
10   1

 [4,10,4,*,*]
 [4,10,5,*,*]
:   25    :=
32   1

 [4,10,6,*,*]
:   25    :=
32   1

 [4,10,7,*,*]
:   25    :=
26   1

 [4,11,1,*,*]
:   23    :=
32   4
34   1

 [4,11,2,*,*]
:   23    :=
22   4
34   1

 [4,11,3,*,*]
:   23    :=
2    5

 [4,11,4,*,*]
:   23    :=
34   5

 [4,11,5,*,*]
:   23    :=
10   5

 [4,11,6,*,*]
 [4,11,7,*,*]
:   23    :=
6    5

 [4,12,1,*,*]
 [4,12,2,*,*]
 [4,12,3,*,*]
 [4,12,4,*,*]
 [4,12,5,*,*]
 [4,12,6,*,*]
 [4,12,7,*,*]
 [4,14,1,*,*]
:   26    :=
2    1

 [4,14,2,*,*]
:   26    :=
32   1

 [4,14,3,*,*]
 [4,14,4,*,*]
:   26    :=
2    1

 [4,14,5,*,*]
:   26    :=
32   1

 [4,14,6,*,*]
:   26    :=
6    1

 [4,14,7,*,*]
:   26    :=
22   1

 [4,15,1,*,*]
 [4,15,2,*,*]
 [4,15,3,*,*]
 [4,15,4,*,*]
 [4,15,5,*,*]
 [4,15,6,*,*]
 [4,15,7,*,*]
 [4,16,1,*,*]
:   24    :=
34   3

 [4,16,2,*,*]
:   24    :=
22   1
34   2

 [4,16,3,*,*]
:   24    :=
2    1
32   2

 [4,16,4,*,*]
:   24    :=
22   1
32   2

 [4,16,5,*,*]
 [4,16,6,*,*]
:   24    :=
2    3

 [4,16,7,*,*]
:   24    :=
18   2
34   1

 [5,1,1,*,*]
:    8    :=
3    2
15   5

 [5,1,2,*,*]
 [5,1,3,*,*]
:    8    :=
30   7

 [5,1,4,*,*]
 [5,1,5,*,*]
:    8    :=
3    1
15   6

 [5,1,6,*,*]
:    8    :=
19   3
27   4

 [5,1,7,*,*]
:    8    :=
27   5
30   2

 [5,2,1,*,*]
:   14    :=
15   2

 [5,2,2,*,*]
:   14    :=
11   2

 [5,2,3,*,*]
 [5,2,4,*,*]
:   14    :=
30   2

 [5,2,5,*,*]
:   14    :=
11   1
30   1

 [5,2,6,*,*]
 [5,2,7,*,*]
:   14    :=
19   1
27   1

 [5,3,1,*,*]
 [5,3,2,*,*]
 [5,3,3,*,*]
:    1    :=
27   2

 [5,3,4,*,*]
:    1    :=
19   2

 [5,3,5,*,*]
:    1    :=
27   2

 [5,3,6,*,*]
:    1    :=
27   2

 [5,3,7,*,*]
:    1    :=
19   2

 [5,4,1,*,*]
 [5,4,2,*,*]
 [5,4,3,*,*]
 [5,4,4,*,*]
 [5,4,5,*,*]
 [5,4,6,*,*]
 [5,4,7,*,*]
 [5,6,1,*,*]
 [5,6,2,*,*]
 [5,6,3,*,*]
 [5,6,4,*,*]
 [5,6,5,*,*]
 [5,6,6,*,*]
 [5,6,7,*,*]
 [5,7,1,*,*]
 [5,7,2,*,*]
 [5,7,3,*,*]
 [5,7,4,*,*]
 [5,7,5,*,*]
 [5,7,6,*,*]
 [5,7,7,*,*]
 [5,8,1,*,*]
 [5,8,2,*,*]
 [5,8,3,*,*]
 [5,8,4,*,*]
 [5,8,5,*,*]
 [5,8,6,*,*]
 [5,8,7,*,*]
 [5,10,1,*,*]
 [5,10,2,*,*]
 [5,10,3,*,*]
 [5,10,4,*,*]
 [5,10,5,*,*]
 [5,10,6,*,*]
 [5,10,7,*,*]
 [5,11,1,*,*]
:   21    :=
3    2

 [5,11,2,*,*]
:   21    :=
3    2

 [5,11,3,*,*]
:   21    :=
27   2

 [5,11,4,*,*]
:   21    :=
30   2

 [5,11,5,*,*]
:   21    :=
30   2

 [5,11,6,*,*]
 [5,11,7,*,*]
 [5,12,1,*,*]
:    8    :=
19   3

 [5,12,2,*,*]
 [5,12,3,*,*]
:    8    :=
3    3

 [5,12,4,*,*]
 [5,12,5,*,*]
:    8    :=
7    3

 [5,12,6,*,*]
:    8    :=
27   3

 [5,12,7,*,*]
:    8    :=
3    3

 [5,14,1,*,*]
 [5,14,2,*,*]
 [5,14,3,*,*]
 [5,14,4,*,*]
 [5,14,5,*,*]
 [5,14,6,*,*]
 [5,14,7,*,*]
 [5,15,1,*,*]
 [5,15,2,*,*]
 [5,15,3,*,*]
 [5,15,4,*,*]
 [5,15,5,*,*]
 [5,15,6,*,*]
 [5,15,7,*,*]
 [5,16,1,*,*]
:   14    :=
15   1

 [5,16,2,*,*]
:   14    :=
11   1

 [5,16,3,*,*]
 [5,16,4,*,*]
:   14    :=
3    1

 [5,16,5,*,*]
:   14    :=
3    1

 [5,16,6,*,*]
 [5,16,7,*,*]
:   14    :=
19   1

 [6,1,1,*,*]
:   23    :=
27   2

 [6,1,2,*,*]
:   23    :=
30   2

 [6,1,3,*,*]
:   23    :=
7    2

 [6,1,4,*,*]
:   23    :=
30   2

 [6,1,5,*,*]
:   23    :=
11   2

 [6,1,6,*,*]
 [6,1,7,*,*]
:   23    :=
23   2

 [6,2,1,*,*]
 [6,2,2,*,*]
 [6,2,3,*,*]
 [6,2,4,*,*]
 [6,2,5,*,*]
 [6,2,6,*,*]
 [6,2,7,*,*]
 [6,3,1,*,*]
 [6,3,2,*,*]
 [6,3,3,*,*]
 [6,3,4,*,*]
 [6,3,5,*,*]
 [6,3,6,*,*]
 [6,3,7,*,*]
 [6,4,1,*,*]
 [6,4,2,*,*]
 [6,4,3,*,*]
 [6,4,4,*,*]
 [6,4,5,*,*]
 [6,4,6,*,*]
 [6,4,7,*,*]
 [6,6,1,*,*]
:   27    :=
7    2

 [6,6,2,*,*]
 [6,6,3,*,*]
:   27    :=
3    2

 [6,6,4,*,*]
:   27    :=
11   2

 [6,6,5,*,*]
:   27    :=
7    2

 [6,6,6,*,*]
:   27    :=
11   2

 [6,6,7,*,*]
:   27    :=
7    2

 [6,7,1,*,*]
 [6,7,2,*,*]
 [6,7,3,*,*]
 [6,7,4,*,*]
 [6,7,5,*,*]
 [6,7,6,*,*]
 [6,7,7,*,*]
 [6,8,1,*,*]
 [6,8,2,*,*]
 [6,8,3,*,*]
 [6,8,4,*,*]
 [6,8,5,*,*]
 [6,8,6,*,*]
 [6,8,7,*,*]
 [6,10,1,*,*]
 [6,10,2,*,*]
 [6,10,3,*,*]
 [6,10,4,*,*]
 [6,10,5,*,*]
 [6,10,6,*,*]
 [6,10,7,*,*]
 [6,11,1,*,*]
 [6,11,2,*,*]
 [6,11,3,*,*]
 [6,11,4,*,*]
 [6,11,5,*,*]
 [6,11,6,*,*]
 [6,11,7,*,*]
 [6,12,1,*,*]
 [6,12,2,*,*]
 [6,12,3,*,*]
 [6,12,4,*,*]
 [6,12,5,*,*]
 [6,12,6,*,*]
 [6,12,7,*,*]
 [6,14,1,*,*]
 [6,14,2,*,*]
 [6,14,3,*,*]
 [6,14,4,*,*]
 [6,14,5,*,*]
 [6,14,6,*,*]
 [6,14,7,*,*]
 [6,15,1,*,*]
 [6,15,2,*,*]
 [6,15,3,*,*]
 [6,15,4,*,*]
 [6,15,5,*,*]
 [6,15,6,*,*]
 [6,15,7,*,*]
 [6,16,1,*,*]
 [6,16,2,*,*]
 [6,16,3,*,*]
 [6,16,4,*,*]
 [6,16,5,*,*]
 [6,16,6,*,*]
 [6,16,7,*,*]
 [7,1,1,*,*]
 [7,1,2,*,*]
 [7,1,3,*,*]
 [7,1,4,*,*]
 [7,1,5,*,*]
 [7,1,6,*,*]
 [7,1,7,*,*]
 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,3,1,*,*]
 [7,3,2,*,*]
 [7,3,3,*,*]
 [7,3,4,*,*]
 [7,3,5,*,*]
 [7,3,6,*,*]
 [7,3,7,*,*]
 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,6,1,*,*]
 [7,6,2,*,*]
 [7,6,3,*,*]
 [7,6,4,*,*]
 [7,6,5,*,*]
 [7,6,6,*,*]
 [7,6,7,*,*]
 [7,7,1,*,*]
 [7,7,2,*,*]
 [7,7,3,*,*]
 [7,7,4,*,*]
 [7,7,5,*,*]
 [7,7,6,*,*]
 [7,7,7,*,*]
 [7,8,1,*,*]
 [7,8,2,*,*]
 [7,8,3,*,*]
 [7,8,4,*,*]
 [7,8,5,*,*]
 [7,8,6,*,*]
 [7,8,7,*,*]
 [7,10,1,*,*]
 [7,10,2,*,*]
 [7,10,3,*,*]
 [7,10,4,*,*]
 [7,10,5,*,*]
 [7,10,6,*,*]
 [7,10,7,*,*]
 [7,11,1,*,*]
 [7,11,2,*,*]
 [7,11,3,*,*]
 [7,11,4,*,*]
 [7,11,5,*,*]
 [7,11,6,*,*]
 [7,11,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,15,1,*,*]
 [7,15,2,*,*]
 [7,15,3,*,*]
 [7,15,4,*,*]
 [7,15,5,*,*]
 [7,15,6,*,*]
 [7,15,7,*,*]
 [7,16,1,*,*]
 [7,16,2,*,*]
 [7,16,3,*,*]
 [7,16,4,*,*]
 [7,16,5,*,*]
 [7,16,6,*,*]
 [7,16,7,*,*]
 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [8,2,1,*,*]
:   27    :=
24   1

 [8,2,2,*,*]
 [8,2,3,*,*]
:   27    :=
8    1

 [8,2,4,*,*]
:   27    :=
24   1

 [8,2,5,*,*]
:   27    :=
8    1

 [8,2,6,*,*]
:   27    :=
24   1

 [8,2,7,*,*]
:   27    :=
24   1

 [8,3,1,*,*]
 [8,3,2,*,*]
 [8,3,3,*,*]
 [8,3,4,*,*]
 [8,3,5,*,*]
 [8,3,6,*,*]
 [8,3,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,6,1,*,*]
 [8,6,2,*,*]
 [8,6,3,*,*]
 [8,6,4,*,*]
 [8,6,5,*,*]
 [8,6,6,*,*]
 [8,6,7,*,*]
 [8,7,1,*,*]
 [8,7,2,*,*]
 [8,7,3,*,*]
 [8,7,4,*,*]
 [8,7,5,*,*]
 [8,7,6,*,*]
 [8,7,7,*,*]
 [8,8,1,*,*]
 [8,8,2,*,*]
 [8,8,3,*,*]
 [8,8,4,*,*]
 [8,8,5,*,*]
 [8,8,6,*,*]
 [8,8,7,*,*]
 [8,10,1,*,*]
 [8,10,2,*,*]
 [8,10,3,*,*]
 [8,10,4,*,*]
 [8,10,5,*,*]
 [8,10,6,*,*]
 [8,10,7,*,*]
 [8,11,1,*,*]
 [8,11,2,*,*]
 [8,11,3,*,*]
 [8,11,4,*,*]
 [8,11,5,*,*]
 [8,11,6,*,*]
 [8,11,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,15,1,*,*]
 [8,15,2,*,*]
 [8,15,3,*,*]
 [8,15,4,*,*]
 [8,15,5,*,*]
 [8,15,6,*,*]
 [8,15,7,*,*]
 [8,16,1,*,*]
 [8,16,2,*,*]
 [8,16,3,*,*]
 [8,16,4,*,*]
 [8,16,5,*,*]
 [8,16,6,*,*]
 [8,16,7,*,*];

Poli = 43
totales = 111

Faltantes = 42
sobrantes = 197.4
salario = 3829.62
servicio = 6.55447
capacitacion = 0.86

_solve_elapsed_time = 7200.7

_nvars = 743571
_ncons = 13349

solve_result_num = 422

ampl:  